大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Carnegie Endowment for International Peace 的图书(共9033本)

Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

0
索取号:
作者:Filli芒tre、 Jean-Christophe.、Paulin-Mohring、 Christine.、Werner、 Benjamin.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 16th International Symposium, AAECC-16, Las Vegas, NV, USA, February 20-24, 2006. Proceedings

0
索取号:
作者:Fossorier、 Marc P. C.、Imai、 Hideki.、Lin、 Shu.、Poli、 Alain.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Automated Deduction in Geometry [electronic resource] : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers

0
索取号:
作者:Hong、 Hoon.、Wang、 Dongming.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

New Developments in Computational Fluid Dynamics [electronic resource] : Proceedings of the Sixth International Nobeyama Workshop on the New Century of Computational Fluid Dynamics, Nobeyama, Japan, April 21 to 24, 2003

0
索取号:
作者:Fujii、 Kozo.、Nakahashi、 Kazuhiro.、Obayashi、 Shigeru.、Komurasaki、 Satoko.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computational Intelligence, Theory and Applications [electronic resource] : International Conference 8th Fuzzy Days in Dortmund, Germany, Sept. 29鈥揙ct. 01, 2004 Proceedings

0
索取号:
作者:Reusch、 Bernd.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formal Approaches to Agent-Based Systems [electronic resource] : Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

0
索取号:
作者:Hinchey、 Michael G.、Rash、 James L.、Truszkowski、 Walter F.、Rouff、 Christopher A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Laser 2004 [electronic resource] : Proceedings of the 6th International Workshop on Application of Lasers in Atomic Nuclei Research (LASER 2004) held in Pozna艅, Poland, 24鈥ⷠMay 2004

0
索取号:
作者:B艂aszczak、 Z.、Markov、 B.、Marinova、 K.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

HFI/NQI 2004 [electronic resource] : Proceedings of the 13th International Conference on Hyperfine Interactions and 17th International Symposium on Nuclear Quadrupole Interactions (HFI/NQI 2004) Bonn, Germany, 22鈥ⷠAugust 2004

0
索取号:
作者:Maier、 K.、Vianden、 R.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Security in Communication Networks [electronic resource] : 4th International Conference, SCN 2004, Amalfi, Italy, September 8-10, 2004, Revised Selected Papers

0
索取号:
作者:Blundo、 Carlo.、Cimato、 Stelvio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

COTS-Based Software Systems [electronic resource] : 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005. Proceedings

0
索取号:
作者:Franch、 Xavier.、Port、 Daniel.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computational Linguistics and Intelligent Text Processing [electronic resource] : 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005. Proceedings

0
索取号:
作者:Gelbukh、 Alexander.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Artificial Intelligence and Simulation [electronic resource] : 13th International Conference on AI, Simulation, Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers

0
索取号:
作者:Kim、 Tag Gon.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Information Networking. Convergence in Broadband and Mobile Networking [electronic resource] : International Conference, ICOIN 2005, Jeju Island, Korea, January 31- February 2, 2005. Proceedings

0
索取号:
作者:Kim、 Cheeha.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Semantic Web Services and Web Process Composition [electronic resource] : First International Workshop, SWSWPC 2004, San Diego, CA, USA, July 6, 2004, Revised Selected Papers

0
索取号:
作者:Cardoso、 Jorge.、Sheth、 Amit.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Public Key Cryptography - PKC 2005 [electronic resource] : 8th International Workshop on Theory and Practice in Public Key Cryptography, Les Diablerets, Switzerland, January 23-26, 2005. Proceedings

0
索取号:
作者:Vaudenay、 Serge.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings

0
索取号:
作者:Cousot、 Radhia.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
最近添加的分类